DiKe - A Model-Based Diagnosis Kernel and Its Application

نویسندگان

  • Gerhard Fleischanderl
  • Thomas Havelka
  • Herwig Schreiner
  • Markus Stumptner
  • Franz Wotawa
چکیده

This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, and a graphical user interface to provide an integrated toolset for the development of model-based diagnosis applications. The framework has been used for representing a number of application domains. We present the AD2L language, the main user language for the system geared towards use by non-specialists, and discuss use of DiKe in various domains.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A robust least squares fuzzy regression model based on kernel function

In this paper, a new approach is presented to fit arobust fuzzy regression model based on some fuzzy quantities. Inthis approach, we first introduce a new distance between two fuzzynumbers using the kernel function, and then, based on the leastsquares method, the parameters of fuzzy regression model isestimated. The proposed approach has a suitable performance to<b...

متن کامل

تشخیص سرطان پستان با استفاده از برآورد ناپارمتری چگالی احتمال مبتنی بر روش‌‌های هسته‌ای

Introduction: Breast cancer is the most common cancer in women. An accurate and reliable system for early diagnosis of benign or malignant tumors seems necessary. We can design new methods using the results of FNA and data mining and machine learning techniques for early diagnosis of breast cancer which able to detection of breast cancer with high accuracy. Materials and Methods: In this study,...

متن کامل

Application of Support Vector Machine for Detection of Functional Limitations in the Diabetic Patients of the Northwest of IRAN in 2017: A Descriptive Study

Background and Objectives: Support vector machine (SVM) is a robust and effective statistical method for the diagnosis and prediction of clinical outcomes based on combinations of predictor variables. The aim of this study was to use SVM to detect the functional limitations in the diabetic patients and evaluate the accuracy of this diagnosis. Materials and Methods: This descriptive study was c...

متن کامل

Evaluating the Effect of Various Parameters of Protective Spur Dike on Scour Depth Reduction using Group Method of Data Handling (GMDH) and Gene Expression Programming (GEP)

            Spur dikes are one of the common methods to protect rivers against erosion. Scouring around the spur dike is an important factor that can disorder the structural performance. Using protective spur dike is proper technique reduce the scour amount. In this research, the GMDH and GEP model used in order to evaluate and estimate the effect of various parameters of protective spur dike o...

متن کامل

بررسی آزمایشگاهی اثر شکاف در بدنه آبشکن بر کنترل آبشستگی اطراف آن در قوس 180 درجه

In this study, the performance of slot in the spur dike was evaluated as a way to reduce the scouring around the installed flat spur dike in a 180 degree bend and the development of scouring in the slotted spur dike was compared with that of the spur dike with no slot. To evaluate the effect of the slot on the development of scouring around it, a flat spur dike made of Plax Glass was installed ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • AI Commun.

دوره 15  شماره 

صفحات  -

تاریخ انتشار 2001